Théorème de Cantor-Bernstein :
Soient \(A\) et \(B\) deux ensembles,
Si il existe des injections \(f:A\to B\) et \(g:B\to A\), alors il existe une bijection \(h:A\to B\)
(Injection, Bijection)
Démonstration :
Théorème de Cantor-Bernstein :
Si deux ensembles \(A\) et \(B\) sont subpotents l'un l'autre, alors ils sont équipotents
(Ensembles subpotents, Ensembles équipotents - Equipotence)